<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>SpecificationCollection (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="SpecificationCollection (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":9,"i1":9,"i2":9,"i3":9,"i4":10,"i5":9,"i6":9,"i7":9};
var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/condition/RandoopSpecificationError.html" title="class in randoop.condition"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/condition/SpecificationCollection.html" target="_top">Frames</a></li>
<li><a href="SpecificationCollection.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">randoop.condition</div>
<h2 title="Class SpecificationCollection" class="title">Class SpecificationCollection</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</a></li>
<li>
<ul class="inheritance">
<li>randoop.condition.SpecificationCollection</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="typeNameLabel">SpecificationCollection</span>
extends <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></pre>
<div class="block">A collection of <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects, indexed by <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect"><code>AccessibleObject</code></a>
 reflection objects. Only represents methods that have a specification.

 <p>The <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition"><code>SpecificationCollection</code></a> should be constructed from the specification input before
 the <a href="../../randoop/reflection/OperationModel.html" title="class in randoop.reflection"><code>OperationModel</code></a> is created.

 <p>This class stores the <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects, and only constructs the
 corresponding <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a> on demand. This lazy strategy avoids building
 condition methods for specifications that are not used.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#compiler">compiler</a></span></code>
<div class="block">Compiler for creating conditionMethods.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#getExecutableSpecificationCache">getExecutableSpecificationCache</a></span></code>
<div class="block">Cache for <a href="../../randoop/condition/SpecificationCollection.html#getExecutableSpecification-java.lang.reflect.AccessibleObject-"><code>getExecutableSpecification(java.lang.reflect.AccessibleObject)</code></a>.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private static com.google.gson.reflect.TypeToken&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt;&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#LIST_OF_OS_TYPE_TOKEN">LIST_OF_OS_TYPE_TOKEN</a></span></code>
<div class="block">The type of <code>List&lt;OperationSpecification&gt;&gt;</code>.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#overridden">overridden</a></span></code>
<div class="block">Map from reflection object to all the methods it overrides (that have a specification).</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#signatureToMethods">signatureToMethods</a></span></code>
<div class="block">Given a method signature, what methods (that have specifications) have that signature? Does not
 contain constructors.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#specificationMap">specificationMap</a></span></code>
<div class="block">Map from method or constructor to the corresponding <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#SpecificationCollection-java.util.Map-randoop.util.MultiMap-java.util.Map-">SpecificationCollection</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt;&nbsp;specificationMap,
                       <a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;signatureToMethods,
                       <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&gt;&nbsp;overridden)</code>
<div class="block">Creates a <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition"><code>SpecificationCollection</code></a> for the given specification map.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t1" class="tableTab"><span><a href="javascript:show(1);">Static Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#buildOverridingMap-randoop.util.MultiMap-">buildOverridingMap</a></span>(<a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;signatureToMethods)</code>
<div class="block">Constructs a map between reflection objects representing override relationships among methods.</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code>static <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition">SpecificationCollection</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#create-java.util.List-">create</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/nio/file/Path.html?is-external=true" title="class or interface in java.nio.file">Path</a>&gt;&nbsp;specificationFiles)</code>
<div class="block">Creates a <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition"><code>SpecificationCollection</code></a> from the list of JSON specification files.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#findOverridden-java.lang.Class-java.util.Set-">findOverridden</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;classType,
              <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;methods)</code>
<div class="block">Finds the methods in <code>methods</code> that are declared in a supertype of <code>classType</code>.</div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>private static <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#getAccessibleObject-randoop.condition.specification.OperationSignature-">getAccessibleObject</a></span>(<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>&nbsp;operation)</code>
<div class="block">Get the <code>java.lang.reflect.AccessibleObject</code> for the <a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification"><code>OperationSignature</code></a>.</div>
</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code><a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#getExecutableSpecification-java.lang.reflect.AccessibleObject-">getExecutableSpecification</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;accessibleObject)</code>
<div class="block">Creates an <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a> object for the given constructor or method, from its
 specifications in this object.</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#main-java.lang.String:A-">main</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>[]&nbsp;args)</code>&nbsp;</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code>private static void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#readSpecificationFile-java.nio.file.Path-java.util.Map-randoop.util.MultiMap-">readSpecificationFile</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/nio/file/Path.html?is-external=true" title="class or interface in java.nio.file">Path</a>&nbsp;specificationFile,
                     <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt;&nbsp;specificationMap,
                     <a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;signatureToMethods)</code>
<div class="block">Reads <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects from the given file, and adds them to the other
 two arguments, which are modified by side effect.</div>
</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code>private static void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/SpecificationCollection.html#readSpecificationZipFile-java.nio.file.Path-java.util.Map-randoop.util.MultiMap-">readSpecificationZipFile</a></span>(<a href="https://docs.oracle.com/javase/8/docs/api/java/nio/file/Path.html?is-external=true" title="class or interface in java.nio.file">Path</a>&nbsp;specificationZipFile,
                        <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt;&nbsp;specificationMap,
                        <a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;signatureToMethods)</code>
<div class="block">Reads <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects from all the subfiles of the given zip file, and
 adds them to the other two arguments, which are modified by side effect.</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></h3>
<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#clone--" title="class or interface in java.lang">clone</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#equals-java.lang.Object-" title="class or interface in java.lang">equals</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#finalize--" title="class or interface in java.lang">finalize</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#getClass--" title="class or interface in java.lang">getClass</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#hashCode--" title="class or interface in java.lang">hashCode</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notify--" title="class or interface in java.lang">notify</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notifyAll--" title="class or interface in java.lang">notifyAll</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#toString--" title="class or interface in java.lang">toString</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait--" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-int-" title="class or interface in java.lang">wait</a></code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="specificationMap">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>specificationMap</h4>
<pre>private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt; specificationMap</pre>
<div class="block">Map from method or constructor to the corresponding <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
</li>
</ul>
<a name="signatureToMethods">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>signatureToMethods</h4>
<pre>private final&nbsp;<a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt; signatureToMethods</pre>
<div class="block">Given a method signature, what methods (that have specifications) have that signature? Does not
 contain constructors.</div>
</li>
</ul>
<a name="overridden">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>overridden</h4>
<pre>private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&gt; overridden</pre>
<div class="block">Map from reflection object to all the methods it overrides (that have a specification).</div>
</li>
</ul>
<a name="compiler">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>compiler</h4>
<pre>private final&nbsp;<a href="../../randoop/compile/SequenceCompiler.html" title="class in randoop.compile">SequenceCompiler</a> compiler</pre>
<div class="block">Compiler for creating conditionMethods.</div>
</li>
</ul>
<a name="LIST_OF_OS_TYPE_TOKEN">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>LIST_OF_OS_TYPE_TOKEN</h4>
<pre>private static&nbsp;com.google.gson.reflect.TypeToken&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt;&gt; LIST_OF_OS_TYPE_TOKEN</pre>
<div class="block">The type of <code>List&lt;OperationSpecification&gt;&gt;</code>.</div>
</li>
</ul>
<a name="getExecutableSpecificationCache">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>getExecutableSpecificationCache</h4>
<pre>private&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a>&gt; getExecutableSpecificationCache</pre>
<div class="block">Cache for <a href="../../randoop/condition/SpecificationCollection.html#getExecutableSpecification-java.lang.reflect.AccessibleObject-"><code>getExecutableSpecification(java.lang.reflect.AccessibleObject)</code></a>.</div>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="SpecificationCollection-java.util.Map-randoop.util.MultiMap-java.util.Map-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>SpecificationCollection</h4>
<pre>SpecificationCollection(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt;&nbsp;specificationMap,
                        <a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;signatureToMethods,
                        <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&gt;&nbsp;overridden)</pre>
<div class="block">Creates a <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition"><code>SpecificationCollection</code></a> for the given specification map.

 <p>This constructor is used internally. It is only accessible (package-protected) to allow
 testing. Clients should use <a href="../../randoop/condition/SpecificationCollection.html#create-java.util.List-"><code>create(List)</code></a> instead.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>specificationMap</code> - the map from method or constructor to <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a></dd>
<dd><code>signatureToMethods</code> - the multimap from a signature to methods with with the signature</dd>
<dd><code>overridden</code> - the map from a method to methods that it it overrides and that have a
     specification</dd>
</dl>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="create-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>create</h4>
<pre>public static&nbsp;<a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition">SpecificationCollection</a>&nbsp;create(<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/nio/file/Path.html?is-external=true" title="class or interface in java.nio.file">Path</a>&gt;&nbsp;specificationFiles)</pre>
<div class="block">Creates a <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition"><code>SpecificationCollection</code></a> from the list of JSON specification files.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>specificationFiles</code> - files containing serialized specifications</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition"><code>SpecificationCollection</code></a> built from the serialized <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects, or null if the argument is null</dd>
</dl>
</li>
</ul>
<a name="buildOverridingMap-randoop.util.MultiMap-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>buildOverridingMap</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&gt;&nbsp;buildOverridingMap(<a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;signatureToMethods)</pre>
<div class="block">Constructs a map between reflection objects representing override relationships among methods.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>signatureToMethods</code> - the map from a <a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification"><code>OperationSignature</code></a> to methods with that
     signature</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the map from an <code>AccessibleObject</code> to methods that it overrides</dd>
</dl>
</li>
</ul>
<a name="findOverridden-java.lang.Class-java.util.Set-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>findOverridden</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;findOverridden(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Class.html?is-external=true" title="class or interface in java.lang">Class</a>&lt;?&gt;&nbsp;classType,
                                          <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Set.html?is-external=true" title="class or interface in java.util">Set</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;methods)</pre>
<div class="block">Finds the methods in <code>methods</code> that are declared in a supertype of <code>classType</code>.

 <p>This should be called only by <a href="../../randoop/condition/SpecificationCollection.html#buildOverridingMap-randoop.util.MultiMap-"><code>buildOverridingMap(randoop.util.MultiMap&lt;randoop.condition.specification.OperationSignature, java.lang.reflect.Method&gt;)</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>classType</code> - the class whose supertypes are searched</dd>
<dd><code>methods</code> - the set of methods</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the elements of <code>methods</code> that are declared in a strict supertype of <code>classType</code></dd>
</dl>
</li>
</ul>
<a name="getAccessibleObject-randoop.condition.specification.OperationSignature-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getAccessibleObject</h4>
<pre>private static&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;getAccessibleObject(<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>&nbsp;operation)</pre>
<div class="block">Get the <code>java.lang.reflect.AccessibleObject</code> for the <a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification"><code>OperationSignature</code></a>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>operation</code> - the <a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification"><code>OperationSignature</code></a></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <code>java.lang.reflect.AccessibleObject</code> for <code>operation</code></dd>
</dl>
</li>
</ul>
<a name="main-java.lang.String:A-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>main</h4>
<pre>public static&nbsp;void&nbsp;main(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a>[]&nbsp;args)
                 throws <a href="https://docs.oracle.com/javase/8/docs/api/java/io/IOException.html?is-external=true" title="class or interface in java.io">IOException</a></pre>
<dl>
<dt><span class="throwsLabel">Throws:</span></dt>
<dd><code><a href="https://docs.oracle.com/javase/8/docs/api/java/io/IOException.html?is-external=true" title="class or interface in java.io">IOException</a></code></dd>
</dl>
</li>
</ul>
<a name="readSpecificationFile-java.nio.file.Path-java.util.Map-randoop.util.MultiMap-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>readSpecificationFile</h4>
<pre>private static&nbsp;void&nbsp;readSpecificationFile(<a href="https://docs.oracle.com/javase/8/docs/api/java/nio/file/Path.html?is-external=true" title="class or interface in java.nio.file">Path</a>&nbsp;specificationFile,
                                          <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt;&nbsp;specificationMap,
                                          <a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;signatureToMethods)</pre>
<div class="block">Reads <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects from the given file, and adds them to the other
 two arguments, which are modified by side effect.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>specificationFile</code> - the JSON file of <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects</dd>
<dd><code>specificationMap</code> - side-effected by this method</dd>
<dd><code>signatureToMethods</code> - side-effected by this method</dd>
</dl>
</li>
</ul>
<a name="readSpecificationZipFile-java.nio.file.Path-java.util.Map-randoop.util.MultiMap-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>readSpecificationZipFile</h4>
<pre>private static&nbsp;void&nbsp;readSpecificationZipFile(<a href="https://docs.oracle.com/javase/8/docs/api/java/nio/file/Path.html?is-external=true" title="class or interface in java.nio.file">Path</a>&nbsp;specificationZipFile,
                                             <a href="https://docs.oracle.com/javase/8/docs/api/java/util/Map.html?is-external=true" title="class or interface in java.util">Map</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>,<a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification">OperationSpecification</a>&gt;&nbsp;specificationMap,
                                             <a href="../../randoop/util/MultiMap.html" title="class in randoop.util">MultiMap</a>&lt;<a href="../../randoop/condition/specification/OperationSignature.html" title="class in randoop.condition.specification">OperationSignature</a>,<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/Method.html?is-external=true" title="class or interface in java.lang.reflect">Method</a>&gt;&nbsp;signatureToMethods)</pre>
<div class="block">Reads <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects from all the subfiles of the given zip file, and
 adds them to the other two arguments, which are modified by side effect.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>specificationZipFile</code> - a zip file containing files that contain <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects</dd>
<dd><code>specificationMap</code> - side-effected by this method</dd>
<dd><code>signatureToMethods</code> - side-effected by this method</dd>
</dl>
</li>
</ul>
<a name="getExecutableSpecification-java.lang.reflect.AccessibleObject-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>getExecutableSpecification</h4>
<pre>public&nbsp;<a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a>&nbsp;getExecutableSpecification(<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect">AccessibleObject</a>&nbsp;accessibleObject)</pre>
<div class="block">Creates an <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a> object for the given constructor or method, from its
 specifications in this object.

 <p>The translation makes the following conversions:

 <ul>
   <li><a href="../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a> to <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a>
   <li><a href="../../randoop/condition/specification/Postcondition.html" title="class in randoop.condition.specification"><code>Postcondition</code></a> to <a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><code>GuardPropertyPair</code></a>
   <li><a href="../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> to <a href="../../randoop/condition/GuardThrowsPair.html" title="class in randoop.condition"><code>GuardThrowsPair</code></a>
 </ul></div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>accessibleObject</code> - the reflection object for a constructor or method</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a> for the specifications of the given method or
     constructor</dd>
</dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/condition/RandoopSpecificationError.html" title="class in randoop.condition"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/condition/SpecificationCollection.html" target="_top">Frames</a></li>
<li><a href="SpecificationCollection.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
